1. ......................
پدیدآورنده : Uspenskii, Vladimir Andreevich
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Recursive functions
رده :
Q
111
.
A3
no
.
1317
2. .....................
پدیدآورنده : Engeler, Erwin
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Sequential machine theory,، Recursive functions,، Formal languages
رده :
QA
267
.
5
.
S4
E53
3. .....................
پدیدآورنده : Jones, Neil D.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Recursive functions,، Turing machines
رده :
QA
248
.
5
.
J66
4.
پدیدآورنده : [by] R. L. Goodstein
کتابخانه: Library of the Faculty of Economics University of Tehran (Tehran)
موضوع : Recursive functions
رده :
QA
248
.
5
.
G6A5
5. A recursive introduction to the theory of computation
پدیدآورنده : Smith, Carl H., 0591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer programming,Data processing ، Recursive functions
رده :
QA
76
.
6
.
S52
6. Algorithmen theorie
پدیدآورنده : / Jacques Loeckx
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Recursive functions,Algorithms,Formal languages
رده :
511
.
8
L825
7. An introduction to the general theory of algorithms
پدیدآورنده : Machtey, Michael.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(,، Computer algorithms,، Recursive functions
رده :
QA
76
.
7
.
M3
8. Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit :
پدیدآورنده : Hans Hermes.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Aufzählbarkeit.,Berechenbarkeit.,Recursive functions.
9. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit : Einfuhrung in die Theorie der Rekursiven Funktionen
پدیدآورنده : Hermes, Hans
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Recursive functions
رده :
QA
248
.
5
.
H4
1978
10. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen
پدیدآورنده : Hermes, Hans.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions
رده :
QA
248
.
5
.
H4
1971
11. Computability
پدیدآورنده : Martin Davis,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Recursive functions,Unsolvability )Mathematical logic(,Computable functions
رده :
QA
.
D38
9
.
615
1982
12. Computability /
پدیدآورنده : George J. Tourlakis
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computable functions,Recursive functions
رده :
QA9
.
59
.
T68
1984
13. Computability
پدیدآورنده : Tourllakis, George J.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Computable functions,، Recursive functions
رده :
QA
9
.
59
.
T68
1984
14. Computability
پدیدآورنده : Weihrauch, K.)Klaus(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Computable functions,، Recursive functions
رده :
QA
9
.
59
.
W45
1987
15. Computability : an introduction to recursive function theory
پدیدآورنده : Cutland, Nigel
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computable functions,، Recursion theory,، Recursive functions
رده :
QA
9
.
59
.
C87
1980
16. Computability and logic
پدیدآورنده : Boolos, George.
کتابخانه: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical.
رده :
QA
9
.
59
.
B6C6
17. Computability and logic
پدیدآورنده :
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
QA9
.
59
.
B66
2002
18. Computability and logic
پدیدآورنده :
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
E-BOOK
19. Computability and logic
پدیدآورنده : / George Boolos, Richard Jeffrey
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Recursive functions,Logic, symbolic and mathematical
رده :
511
.
3
B724c
20. Computability and logic
پدیدآورنده : George Boolos, Richard Jeffrey
کتابخانه: Library of Faculty of Literature and Humanities Sciences of Kashan University (Esfahan)
موضوع : Computable functions,Recursive functions
رده :
511
.
3
B724C
